Losing Treewidth by Separating Subsets
نویسندگان
چکیده
We study the problem of deleting the smallest set S of vertices (resp. edges) from a given graph G such that the induced subgraph (resp. subgraph) G \ S belongs to some class H. We consider the case where graphs in H have treewidth bounded by t, and give a general framework to obtain approximation algorithms for both vertex and edge-deletion settings from approximation algorithms for certain natural graph partitioning problems called k-Subset Vertex Separator and k-Subset Edge Separator, respectively. For the vertex deletion setting, our framework combined with the current best result for k-Subset Vertex Separator, yields a significant improvement in the approximation ratios for basic problems such as k-Treewidth Vertex Deletion and Planar-F Vertex Deletion. Our algorithms are simpler than previous works and give the first uniform approximation algorithms under the natural parameterization. For the edge deletion setting, we give improved approximation algorithms for k-Subset Edge Separator combining ideas from LP relaxations and important separators. We present their applications in bounded-degree graphs, and also give an APX-hardness result for the edge deletion problems. ∗ [email protected] † [email protected] ‡[email protected] § [email protected] ¶ [email protected]
منابع مشابه
Tractable Markov Logic
Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for firstorder probabilistic languages. However, these are intractable, losing the original motivation. Here we propose the first non-trivially tractable first-order probabilistic language. It is a subset of Markov logic, and uses probabilistic class and part hierar...
متن کاملA Tractable First-Order Probabilistic Logic
Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. However, these are intractable, losing the original motivation. Here we propose the first non-trivially tractable first-order probabilistic language. It is a subset of Markov logic, and uses probabilistic class and part hiera...
متن کاملEdge-maximal graphs of branchwidth k: The k-branches
Treewidth and branchwidth are two closely related connectivity parameters of graphs. Graphs of treewidth at most k have well-known alternative characterizations as subgraphs of chordal graphs and as partial k-trees. In this paper we give analogous alternative characterizations for graphs of branchwidth at most k. We first show that they are the subgraphs of chordal graphs where every maximal cl...
متن کاملOn Tractability and Hypertree Width
We investigate in this paper the notion of hypertree width as a parameter for bounding the complexity of CSPs, especially those whose constraints can be represented compactly, such as SAT problems. We first identify a simple condition which is necessary for hypertree width to provide better complexity bounds than treewidth. We then observe that SAT problems do not satisfy this condition and, he...
متن کاملDegree-3 Treewidth Sparsifiers
We study treewidth sparsifiers. Informally, given a graph G of treewidth k, a treewidth sparsifier H is a minor of G, whose treewidth is close to k, |V (H)| is small, and the maximum vertex degree in H is bounded. Treewidth sparsifiers of degree 3 are of particular interest, as routing on node-disjoint paths, and computing minors seems easier in sub-cubic graphs than in general graphs. In this ...
متن کامل